[IA64] vti fault handler clean up: clean up of vmx_ivt.S
authorAlex Williamson <alex.williamson@hp.com>
Fri, 14 Dec 2007 20:29:42 +0000 (13:29 -0700)
committerAlex Williamson <alex.williamson@hp.com>
Fri, 14 Dec 2007 20:29:42 +0000 (13:29 -0700)
commit3187f6310b94aa5371a3341af2c709074da57aaf
treebd1988f19854f2b67ce31ad05833b2913ad5f077
parentdc1455d7a89acb33f7048a7c50cd4beeb985290f
[IA64] vti fault handler clean up: clean up of vmx_ivt.S

Trivial clean up of vmx_ivt.S
- Use VMX_SAVE_MIN_WITH_COVER instead of VMX_SAVE_MIN_WITH_COVER_R19
  if it isn't necessary.
- Fix vmx_dispatch_interrupt, vmx_interrupt.  psr.i shouldn't be set.
  ia64_handle_irq() should be called with interrupt masked.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/vmx/vmx_ivt.S